Standart-konformes Snapshotting für SystemC Virtuelle Plattformen

The steady increase in complexity of high-end embedded systems goes along with an increasingly complex design process. We are currently still in a transition phase from Hardware-Description Language (HDL) based design towards virtual-platform-based design of embedded systems. As design complexity rises faster than developer productivity a gap forms. Restoring productivity while at the same time managing increased design complexity can also be achieved through focussing on the development of new tools and design methodologies. In most application areas, high-level modelling languages such as SystemC are used in early design phases. In modern software development Continuous Integration (CI) is used to automatically test if a submitted piece of code breaks functionality. Application of the CI concept to embedded system design and testing requires fast build and test execution times from the virtual platform framework. For this use case the ability to save a specific state of a virtual platform becomes necessary. The saving and restoring of specific states of a simulation requires the ability to serialize all data structures within the simulation models. Improving the frameworks and establishing better methods will only help to narrow the design gap, if these changes are introduced with the needs of the engineers and developers in mind. Ultimately, it is their productivity that shall be improved. The ability to save the state of a virtual platform enables developers to run longer test campaigns that can even contain randomized test stimuli. If the saved states are modifiable the developers can inject faulty states into the simulation models. This work contributes an extension to the SoCRocket virtual platform framework to enable snapshotting. The snapshotting extension can be considered a reference implementation as the utilization of current SystemC/TLM standards makes it compatible to other frameworkds. Furthermore, integrating the UVM SystemC library into the framework enables test driven development and fast validation of SystemC/TLM models using snapshots. These extensions narrow the design gap by supporting designers, testers and developers to work more efficiently.Die stetige Steigerung der Komplexität eingebetteter Systeme geht einher mit einer ebenso steigenden Komplexität des Entwurfsprozesses. Wir befinden uns momentan in der Übergangsphase vom Entwurf von eingebetteten Systemen basierend auf Hardware-Beschreibungssprachen hin zum Entwurf ebendieser basierend auf virtuellen Plattformen. Da die Entwurfskomplexität rasanter steigt als die Produktivität der Entwickler, entsteht eine Kluft. Die Produktivität wiederherzustellen und gleichzeitig die gesteigerte Entwurfskomplexität zu bewältigen, kann auch erreicht werden, indem der Fokus auf die Entwicklung neuer Werkzeuge und Entwurfsmethoden gelegt wird. In den meisten Anwendungsgebieten werden Modellierungssprachen auf hoher Ebene, wie zum Beispiel SystemC, in den frühen Entwurfsphasen benutzt. In der modernen Software-Entwicklung wird Continuous Integration (CI) benutzt um automatisiert zu überprüfen, ob eine eingespielte Änderung am Quelltext bestehende Funktionalitäten beeinträchtigt. Die Anwendung des CI-Konzepts auf den Entwurf und das Testen von eingebetteten Systemen fordert schnelle Bau- und Test-Ausführungszeiten von dem genutzten Framework für virtuelle Plattformen. Für diesen Anwendungsfall wird auch die Fähigkeit, einen bestimmten Zustand der virtuellen Plattform zu speichern, erforderlich. Das Speichern und Wiederherstellen der Zustände einer Simulation erfordert die Serialisierung aller Datenstrukturen, die sich in den Simulationsmodellen befinden. Das Verbessern von Frameworks und Etablieren besserer Methodiken hilft nur die Entwurfs-Kluft zu verringern, wenn diese Änderungen mit Berücksichtigung der Bedürfnisse der Entwickler und Ingenieure eingeführt werden. Letztendlich ist es ihre Produktivität, die gesteigert werden soll. Die Fähigkeit den Zustand einer virtuellen Plattform zu speichern, ermöglicht es den Entwicklern, längere Testkampagnen laufen zu lassen, die auch zufällig erzeugte Teststimuli beinhalten können oder, falls die gespeicherten Zustände modifizierbar sind, fehlerbehaftete Zustände in die Simulationsmodelle zu injizieren. Mein mit dieser Arbeit geleisteter Beitrag beinhaltet die Erweiterung des SoCRocket Frameworks um Checkpointing Funktionalität im Sinne einer Referenzimplementierung. Weiterhin ermöglicht die Integration der UVM SystemC Bibliothek in das Framework die Umsetzung der testgetriebenen Entwicklung und schnelle Validierung von SystemC/TLM Modellen mit Hilfe von Snapshots

A shadowing problem in the detection of overlapping communities: lifting the resolution limit through a cascading procedure

Community detection is the process of assigning nodes and links in significant communities (e.g. clusters, function modules) and its development has led to a better understanding of complex networks. When applied to sizable networks, we argue that most detection algorithms correctly identify prominent communities, but fail to do so across multiple scales. As a result, a significant fraction of the network is left uncharted. We show that this problem stems from larger or denser communities overshadowing smaller or sparser ones, and that this effect accounts for most of the undetected communities and unassigned links. We propose a generic cascading approach to community detection that circumvents the problem. Using real and artificial network datasets with three widely used community detection algorithms, we show how a simple cascading procedure allows for the detection of the missing communities. This work highlights a new detection limit of community structure, and we hope that our approach can inspire better community detection algorithms.Comment: 14 pages, 12 figures + supporting information (5 pages, 6 tables, 3 figures

Ultrafiltration is better than diuretic therapy for volume-overloaded acute heart failure patients: a meta-analysis

Studies on the effectiveness of ultrafiltration (UF) in patients hospitalized with acute decompensated heart failure (ADHF) have led to heterogeneous study outcomes. This meta-analysis aimed to assess the impact of UF therapy in ADHF patients. We searched the medical literature to identify well-designed studies comparing UF with the usual diuretic therapy in this setting. Systematic evaluation of 8 randomized controlled trials enrolling 801 participants showed greater fluid removal (difference in means 1372.5 mL, 95% CI 849.6 to 1895.4 mL; p < 0.001), weight loss (difference in means 1.592 kg, 95% CI 1.039 to 2.144 kg; p < 0.001) and lower incidences of worsening heart failure (OR 0.63, 95% CI 0.43 to 0.94, p = 0.022) and rehospitalization for heart failure (OR 0.54, 95% CI 0.36 to 0.82, p = 0.003) without a difference in renal impairment (OR 1.386, 95% CI 0.870 to 2.209; p = 0.169) or all-cause mortality (OR 1.13, 95% CI 0.75 to 1.71, p = 0.546). UF increases fluid removal and weight loss and reduces rehospitalization and the risk of worsening heart failure in congestive patients, suggesting ultrafiltration as a safe and effective treatment option for volume-overloaded heart failure patients

Early Detection of Cartilage Degeneration: A Comparison of Histology, Fiber Bragg Grating-Based Micro-Indentation, and Atomic Force Microscopy-Based Nano-Indentation

We have determined the sensitivity and detection limit of a new fiber Bragg grating (FBG)-based optoelectronic micro-indenter for biomechanical testing of cartilage and compared the results to indentation-type atomic force microscopy (IT-AFM) and histological staining. As test samples, we used bovine articular cartilage, which was enzymatically degraded ex vivo for five minutes using different concentrations of collagenase (5, 50, 100 and 500 &micro;g/mL) to mimic moderate extracellular matrix deterioration seen in early-stage osteoarthritis (OA). Picrosirius Red staining and polarization microscopy demonstrated gradual, concentration-dependent disorganization of the collagen fibrillar network in the superficial zone of the explants. Osteoarthritis Research Society International (OARSI) grading of histopathological changes did not discriminate between undigested and enzymatically degraded explants. IT-AFM was the most sensitive method for detecting minute changes in cartilage biomechanics induced by the lowest collagenase concentration, however, it did not distinguish different levels of cartilage degeneration for collagenase concentrations higher than 5 &micro;g/mL. The FBG micro-indenter provided a better and more precise assessment of the level of cartilage degeneration than the OARSI histological grading system but it was less sensitive at detecting mechanical changes than IT-AFM. The FBG-sensor allowed us to observe differences in cartilage biomechanics for collagenase concentrations of 100 and 500 &micro;g/mL. Our results confirm that the FBG sensor is capable of detecting small changes in articular cartilage stiffness, which may be associated with initial cartilage degeneration caused by early OA

Aggrecan Hypomorphism Compromises Articular Cartilage Biomechanical Properties and Is Associated with Increased Incidence of Spontaneous Osteoarthritis

The gene encoding the proteoglycan aggrecan (Agc1) is abundantly expressed in cartilage during development and adulthood, and the loss or diminished deposition of the protein results in a wide range of skeletal malformations. Furthermore, aggrecan degradation is a hallmark of cartilage degeneration occurring in osteoarthritis. In the present study, we investigated the consequences of a partial loss of aggrecan in the postnatal skeleton and in the articular cartilage of adult mice. We took advantage of the previously described Agc1tm(IRES-CreERT2) mouse line, which allows for conditional and timely-regulated deletion of floxed, cartilage-expressed genes. As previously reported, the introduction of the CreERT2 cassette in the 3&#8217;UTR causes a disruption of the normal expression of Agc1 resulting in a hypomorphic deposition of the protein. In homozygous mice, we observed a dwarf phenotype, which persisted throughout adulthood supporting the evidence that reduced aggrecan amount impairs skeletal growth. Homozygous mice exhibited reduced proteoglycan staining of the articular cartilage at 6 and 12 months of age, increased stiffening of the extracellular matrix at six months, and developed severe cartilage erosion by 12 months. The osteoarthritis in the hypomorph mice was not accompanied by increased expression of catabolic enzymes and matrix degradation neoepitopes. These findings suggest that the degeneration found in homozygous mice is likely due to the compromised mechanical properties of the cartilage tissue upon aggrecan reduction

Towards XUV-pump XUV-probe experiments with attosecond pulses at the Lund Laser Centre

The relaxation dynamics of an ionized/excited molecular system leads to different fundamental processes occurring at sub-femtosecond timescales. Time-resolved XUV-pump XUV-probe experiments should allow deeper insight to the key roles of these processes. Such studies should be feasible soon thanks to experimental schemes similar to those at the high-intensity high-order harmonic generation beamline at the Lund Laser Centre